Formalization and Validation of Safety-Critical Requirements
نویسندگان
چکیده
منابع مشابه
Formalization and Validation of Safety-Critical Requirements
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, t...
متن کاملEngineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements
As software-intensive systems become more pervasive, more and more safety-critical systems are being developed. In this column, I will use the concept of a quality model to define safety as a quality factor. Thus, safety (like security and survivability) is a kind of defensibility, which is a kind of dependability, which is a kind of quality. Next, I discuss the structure of quality requirement...
متن کاملFrom Informal Safety-Critical Requirements to Property-Driven Formal Validation
Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus...
متن کاملRequirements formalization and validation for a telecommunication equipment protection switcher
Using formal methods, namely model checking, we can automatically verify a formal model of the requirements against given properties. This allows us to detect errors early an the design process, thus decreasing development cost and t ime t o market. However to modi fy a well established design process t o introduce formal methods is not easy. W e present a case study exploring the possibility o...
متن کاملRequirements Management for Safety Critical Systems
A Requirement is a statement that identifies a product or operational, functional, or design characteristic or constraint, which is unambiguous, testable, or measurable and necessary for product or process acceptability. [3] Requirements Engineering is the branch of systems engineering which address the process of identifying and then monitoring the stakeholders needs and systems required funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.20.7